Global Units modulo Circular Units : descent without Iwasawa’s Main Conjecture
نویسنده
چکیده
Iwasawa’s classical asymptotical formula relates the orders of the p-parts Xn of the ideal class groups along a Zp-extension F∞/F of a number field F , to Iwasawa structural invariants λ and μ attached to the inverse limit X∞ = lim ← Xn. It relies on ”good” descent properties satisfied by Xn. If F is abelian and F∞ is cyclotomic it is known that the p-parts of the orders of the global units modulo circular units Un/Cn are asymptotically equivalent to the p-parts of the ideal class numbers. This suggests that these quotients Un/Cn, so to speak unit class groups, satisfy also good descent properties. We show this directly, i.e. without using Iwasawa’s Main Conjecture. 0 Introduction LetK be a number field and p an odd prime (p 6= 2) and letK∞/K be a Zp-extension (quite soon K∞/K will be the cyclotomic Zp-extension). Recall the usual notations : Γ = Gal(K∞/K) is the Galois group of K∞/K, Kn is the n -layer of K∞ (so that [Kn : K] = p ), Γn = Gal(K∞/Kn), and Gn = Gal(Kn/K) ∼= Γ/Γn. Let us consider a sequence (Mn)n∈N of Zp[Gn]-modules equipped with norm maps Mn −→ Mn−1 and the inverse limit of this sequence M∞ = lim ← Mn seen as a Λ = Zp[[Γ]]-module. The general philosophy of Iwasawa theory is to study the simpler Λ-structure of M∞, then to try and recollect information about the Mn’s themselves from that structure. For instance, if M∞ is Λ-torsion, one can attach two invariants λ and μ to M∞. If we assume further that (i) the Γn coinvariants (M∞)Γn are finite, ∗2000 Mathematics Subject Classification. Primary 11R23. 1 ha l-0 04 40 90 5, v er si on 1 13 D ec 2 00 9 Author manuscript, published in "Canadian Journal of Mathematics (Journal Canadien de Mathématiques) 61, 3 (2009) 518--533"
منابع مشابه
O ct 2 00 6 Global Units modulo Circular Units : descent without Iwasawa ’ s Main Conjecture . ∗
Iwasawa’s classical asymptotical formula relates the orders of the p-parts Xn of the ideal class groups along a Zp-extension F∞/F of a number field F , to Iwasawa structural invariants λ and μ attached to the inverse limit X∞ = lim ← Xn. It relies on ”good” descent properties satisfied by Xn. If F is abelian and F∞ is cyclotomic it is known that the p-parts of the orders of the global units mod...
متن کامل2 4 M ay 2 00 6 Global Units modulo Circular Units : descent without Iwasawa ’ s Main Conjecture . ∗
Iwasawa’s classical asymptotical formula relates the orders of the p-parts Xn of the ideal class groups along a Zp-extension F∞/F of a number field F , to Iwasawa structural invariants λ and μ attached to the inverse limit X∞ = lim ← Xn. It relies on ”good” descent properties satisfied by Xn. If F is abelian and F∞ is cyclotomic it is known that the p-parts of the order of the global units modu...
متن کاملCyclotomic Units and Class Groups in Zp-extensions of real abelian fields
For a real abelian number field F and for a prime p we study the relation between the p-parts of the class groups and of the quotients of global units modulo cyclotomic units along the cyclotomic Zp-extension of F . Assuming Greenberg’s conjecture about the vanishing of the λ-invariant of the extension, a map between these groups has been constructed by several authors, and shown to be an isomo...
متن کاملPrimitive Roots in Quadratic Fields
We consider an analogue of Artin’s primitive root conjecture for units in real quadratic fields. Given such a nontrivial unit, for a rational prime p which is inert in the field the maximal order of the unit modulo p is p+1. An extension of Artin’s conjecture is that there are infinitely many such inert primes for which this order is maximal. This is known at present only under the Generalized ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009